Merge branch 'gir-fixes' into 'master'
authorEmmanuele Bassi <ebassi@gmail.com>
Fri, 3 Apr 2020 15:21:59 +0000 (15:21 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Fri, 3 Apr 2020 15:21:59 +0000 (15:21 +0000)
Annotation fixes

See merge request GNOME/gtk!1616


Trivial merge